Scalable Probabilistic Routes

نویسندگان

چکیده

Inference and prediction of routes have become interest over the past decade owing to a dramatic increase in package delivery ride-sharing services. Given underlying combinatorial structure incorporation probabilities, route involves techniques from both formal methods machine learning. One promising approach for predicting uses decision diagrams that are augmented with probability values. However, effectiveness this depends on size compiled diagrams. The scalability is limited its empirical runtime space complexity. In work, our contributions two-fold: first, we introduce relaxed encoding linear number variables respect vertices road network graph significantly reduce resultant Secondly, instead stepwise sampling procedure, propose single pass sampling-based prediction. evaluations arising real-world network, demonstrate resulting system achieves around twice quality suggested while being an order magnitude faster compared state-of-the-art.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Scalable Probabilistic Entity-Topic Modeling

We present an LDA approach to entity disambiguation. Each topic is associated with a Wikipedia article and topics generate either content words or entity mentions. Training such models is challenging because of the topic and vocabulary size, both in the millions. We tackle these problems using a novel distributed inference and representation framework based on a parallel Gibbs sampler guided by...

متن کامل

Research Statement Scalable Probabilistic Model Checking

The fourth industrial revolution [1] is coming, empowered by technologies including cyber-physical systems (CPS) and robotics. These systems typically involve the tight integration between distributed computational intelligence, communication networks, physical world, and human actors, providing new capabilities to improve quality of life and enabling technological advances in critical areas, s...

متن کامل

Scalable Multiagent Planning Using Probabilistic Inference

Multiagent planning has seen much progress with the development of formal models such as DecPOMDPs. However, the complexity of these models—NEXP-Complete even for two agents— has limited scalability. We identify certain mild conditions that are sufficient to make multiagent planning amenable to a scalable approximation w.r.t. the number of agents. This is achieved by constructing a graphical mo...

متن کامل

A Scalable Probabilistic Classifier for Language Modeling

We present a novel probabilistic classifier, which scales well to problems that involve a large number of classes and require training on large datasets. A prominent example of such a problem is language modeling. Our classifier is based on the assumption that each feature is associated with a predictive strength, which quantifies how well the feature can predict the class by itself. The predic...

متن کامل

Scalable Probabilistic Models for 802.11 Protocol Verification

The IEEE 802.11 protocol is a popular standard for wireless local area networks. Its medium access control layer (MAC) is a carrier sense multiple access with collision avoidance (CSMA/CA) design and includes an exponential backoff mechanism that makes it a possible target for probabilistic model checking. In this work, we identify ways to increase the scope of application of probabilistic mode...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: EPiC series in computing

سال: 2023

ISSN: ['2398-7340']

DOI: https://doi.org/10.29007/5t69